/**
 * Java port of the LTL to Buchi automata conversion library.
 */
package com.prism.e4.rcp.jltl2ba;